On the Boundary and Derivative of a Set
نویسنده
چکیده
This is the first Mizar article in a series aiming at a complete formalization of the textbook “General Topology” by Engelking [7]. We cover the first part of Section 1.3, by defining such notions as a derivative of a subset A of a topological space (usually denoted by A, but Der A in our notation), the derivative and the boundary of families of subsets, points of accumulation and isolated points. We also introduce dense-in-itself, perfect and scattered topological spaces and formulate the notion of the density of a space. Some basic properties are given as well as selected exercises from [7].
منابع مشابه
Numerical solution for boundary value problem of fractional order with approximate Integral and derivative
Approximating the solution of differential equations of fractional order is necessary because fractional differential equations have extensively been used in physics, chemistry as well as engineering fields. In this paper with central difference approximation and Newton Cots integration formula, we have found approximate solution for a class of boundary value problems of fractional order. Three...
متن کاملDifferential Characteristics of Efficient Frontiers in DEA with Weight Restrictions
The non-differentiability and implicit definition of boundary of production possibility set (PPS) in data envelopment analysis (DEA) are two important difficulties for obtaining directional characteristics, including different elasticity measures and marginal rates of substitution. Also, imposing weight restrictions in DEA models have some shortcomings and misunderstandings. In this paper we ut...
متن کاملExiststence and uniqueness of positive solution for a class of boundary value problem including fractional differential equation
In this paper we investigate a kind of boundary value problem involving a fractional differential equation. We study the existence of positive solutions of the problem that fractional derivative is the Reimann-Liouville fractional derivative. At first the green function is computed then it is proved that the green function is positive. We present necessary and sufficient conditions for existen...
متن کاملAn efficient approximate method for solution of the heat equation using Laguerre-Gaussians radial functions
In the present paper, a numerical method is considered for solving one-dimensional heat equation subject to both Neumann and Dirichlet initial boundary conditions. This method is a combination of collocation method and radial basis functions (RBFs). The operational matrix of derivative for Laguerre-Gaussians (LG) radial basis functions is used to reduce the problem to a set of algebraic equatio...
متن کاملThe use of inverse quadratic radial basis functions for the solution of an inverse heat problem
In this paper, a numerical procedure for an inverse problem of simultaneously determining an unknown coefficient in a semilinear parabolic equation subject to the specification of the solution at an internal point along with the usual initial boundary conditions is considered. The method consists of expanding the required approximate solution as the elements of the inverse quadrati...
متن کاملTransient Electro-osmotic Slip Flow of an Oldroyd-B Fluid with Time-fractional Caputo-Fabrizio Derivative
In this article, the electro-osmotic flow of Oldroyd-B fluid in a circular micro-channel with slip boundary condition is considered. The corresponding fractional system is represented by using a newly defined time-fractional Caputo-Fabrizio derivative without singular kernel. Closed form solutions for the velocity field are acquired by means of Laplace and finite Hankel transforms. Additionally...
متن کامل